What Happened to Formal Methods for Security?
نویسندگان
چکیده
منابع مشابه
Whatever Happened to Formal Methods for Security?
We asked 7 experts 7 questions to find out what has occurred recently in terms of applying formal methods (FM) to security-centric, cyber problems. We are continually reminded of the 1996 paper by Tony Hoare "How did Software Get So Reliable Without Proof?" [1] In that vein, how did we get so insecure with proof? Given daily press announcements concerning new malware, data breaches, and privacy...
متن کاملFormal Methods for Security
Executive Summary Cybersecurity is everyone's problem. The target may be the electric grid, government systems storing sensitive personnel data, intellectual property in the defense industrial base, or banks and the financial system. Adversaries range from small-time criminals to nation states and other determined opponents who will explore an ingenious range of attack strategies. And the damag...
متن کاملFormal Methods for Smartcard Security
Smartcards are trusted personal devices designed to store and process confidential data, and to act as secure tokens for providing access to applications and services. Smartcards are widely deployed and their usage spans over several application domains including banking, telecommunications, and identity. Open platform smartcards are new generation trusted personal devices with increased flexib...
متن کاملWhat ever happened to accountability?
When leaders don't fire underperforming executives, they send a bad message to the whole organization. A case in point is the U.S. Army. "To study the change in the army across the two decades between World War II and Vietnam," Ricks writes, "is to learn how a culture of high standards and accountability can deteriorate." In this essay, adapted from his new book, The Generals: American Military...
متن کاملWhat Happened to Software Metrics?
The software community of the 1980s was abuzz with seemingly endless approaches to producing higher-quality software. At the forefront was software metrics and its corresponding techniques, tools, and process-improvement schemes. Cyclomatic complexity, Halstead metrics, source lines of code (SLOC), Fagan inspection, defect counting, number of defects prediction, reliability estimation and model...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer
سال: 2016
ISSN: 0018-9162
DOI: 10.1109/mc.2016.228